Artifacts Evaluated — Reusable

A formal foundation for symbolic evaluation with merging (Teaser)

Community Expectations for Research Artifacts and Evaluation Processes (Video, ESEC/FSE 2020)

Community Expectations for Research Artifacts and Evaluation Processes (Teaser, ESEC/FSE 2020)

NSF Sharing Expertise and Artifacts for Reuse Through Cybersecurity Community Hub SEARCCH

Birds of a Feather: Sharing Cybersecurity Research Artifacts To Accelerate Progress

Building Interactive Apps with Claude 3.5 Sonnet & Artifacts

Type-Level Programming with Match Types (Teaser)

[ICFP'22] Staged Compilation with Two-Level Type Theory

[ICFP'22] Generating Circuits with Generators

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

The Decidability and Complexity of Interleaved Bidirected Dyck Reachability (Teaser)

Relational E-Matching (Teaser)

[POPL'22] Verified Compilation of C Programs with a Nominal Memory Model

ASPLOS'20 - Introduction to the conference by the PC chairs -- Prof. Luis Ceze and Karin Strauss

Eclipse Artifacts on Maven Central | EclipseCon Europe 2018

Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs (Teaser)

Advanced Spinnaker Lab 1: SpEL & Artifacts

Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)

Verified Tensor-Program Optimization Via High-level Scheduling Rewrites (Teaser)

Wes Lambert - Endpoint Excavation: Digging Through Host Artifacts with Velociraptor

[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming

[POPL'22] A Separation Logic for Heap Space under Garbage Collection

Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions (Teaser)

[ICFP'22] Safe Couplings: Coupled Refinement Types

join shbcf.ru